Chapman University - PDFSEARCH.IO - Document Search Engine

Chapman University
Results: 378

#	Item
51	BASIC LOGIC, SMT SOLVERS AND FINITELY GENERATED VARIETIES OF GBL-ALGEBRAS PETER JIPSEN, CHAPMAN UNIVERSITY Extended Abstract Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2013-09-06 00:49:56
52	Embedding theorems for classes of GBL-algebras P. Jipsen and F. Montagna Chapman University, Department of Mathematics and Computer Science, Orange, CA 92866, USA University of Siena, Department of Mathematics and Comput Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2010-02-11 11:15:33
53	Crossing the Boundaries in Planetary Atmospheres: From Earth to Exoplanets Participants List (as of 18 June) Abbot, Dorian University of Chicago Email: Add to Reading List Source URL: chapman.agu.org Language: English - Date: 2013-06-19 07:14:42
54	Disruption of Learned Timing in P/Q Calcium Channel Mutants Akira Katoh, Peter J. Chapman, Jennifer L. Raymond* Department of Neurobiology, Stanford University, Stanford, California, United States of America Abstract Add to Reading List Source URL: raymondlab.stanford.edu Language: English - Date: 2014-11-05 16:22:34
55	Relation algebras as expanded FL-algebras Nikolaos Galatos and Peter Jipsen University of Denver and Chapman University Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2011-04-09 21:53:50
56	Generalizations of Relation Algebras from the perspective of (semi)lattices with operators Peter Jipsen Chapman University, Orange, California A selection of joint work with Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2011-04-09 21:48:23
57	Eduardo A. Araujo-Pradere Vladimir Florinski University of Colorado Add to Reading List Source URL: chapman.agu.org Language: English - Date: 2013-04-01 10:47:52 Academia Research Earth National Center for Atmospheric Research Johns Hopkins University IZMIRAN
58	Basic Logic, SMT solvers and nitely generated varieties of GBL-algebras Peter Jipsen Chapman University, Orange, California TACL 2013, July 29, Vanderbilt University Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2013-09-06 00:51:19 Algebraic logic Fuzzy logic Logic in computer science Algebraic structures Electronic design automation Satisfiability Modulo Theories MV-algebra Boolean satisfiability problem Propositional variable Mathematics Mathematical logic Logic
59	C ARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes Adrian Nistor1 , Po-Chun Chang2 , Cosmin Radoi3 , Shan Lu4 1 Chapman 2 University Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2015-03-08 18:18:51 Software bugs Control flow Infinite loop For loop Debugging Boolean data type Stack Computer programming Software engineering Computing
60	C ARAMEL: Detecting and Fixing Performance Problems That Have Non-Intrusive Fixes Adrian Nistor1 , Po-Chun Chang2 , Cosmin Radoi3 , Shan Lu4 1 Chapman 2 University Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2015-03-08 18:18:51 Software bugs Control flow Infinite loop For loop Debugging Boolean data type Stack Computer programming Software engineering Computing

UPDATE